linear recurrence relations discrete math